Testability Analysis of Data-Flow Software
نویسندگان
چکیده
This paper is about testability analysis for data-flow software. We describe an application of the SATAN method, which allows testability of data-flow designs to be measured, to analyze testability of the source code of critical data-flow software, such as avionics software. We first propose the transformation of the source code generated from data-flow designs into the Static Single Assignment (SSA) form; then we describe the algorithm to automatically translate the SSA form into a testability model. Thus, analyzing the testability model can allow the detection of the software parts which induce a testability weakness.
منابع مشابه
An integrated approach to behavioral-level design-for-testability using value-range and variable testability techniques
This research applies formal dataflow analysis and techniques to high-level DFT. Our proposed approach improves testability of the behavioral-level circuit description (such as in VHDL) based on propagation of the value ranges of variables through the circuit’s Control-Data Flow Graph (CDFG). The resulting testable circuit is accomplished via controllability and observability computations from ...
متن کاملBytecode-based Analysis for Increasing Class-Component Testability
Software testing attempts to reveal software faults by executing the program on input values and comparing the outputs from the execution with expected outputs. Testing software is easier when testability is high, so increasing testability allows the detection of faults to be done more efficiently. Component-based software is often constructed from third party software components. When this is ...
متن کاملFault Insertion in Concurrent Object-Oriented Programs for Mutation Analysis and Testability Measurement
Testability measurement and mutation analysis approaches require programs to be seeded with faults that represent plausible programmer errors. Software testability [5] is defined as the likelihood of a program failing on the next test input from a predefined input distribution, given that there is a fault in the program. Mutation analysis [2] requires the insertion of faults into a program with...
متن کاملEvaluation of Software Testing Techniques Through Software Testability Index
Software testing is one of the most important phases in the Software Development Life Cycle (SDLC) which helps in assessing the quality of the software. There are a number of testing techniques at various phases of testing. Selection of the right testing technique at any stage is one of the critical problems and depends on many factors such as resources, schedule, cost of the project, etc. The ...
متن کاملTestability Analysis of Framework Based Software at Requirement Analysis Phase
Dependency on automated systems in every sphere of our life has raised a demand for enhanced quality and productivity along with the improved business performance of the software system. Researchers and practitioners in the field of software engineering are striving to achieve the same by applying many techniques. Reuse-oriented software development technique is one of the prevalent techniques,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 116 شماره
صفحات -
تاریخ انتشار 2005